"""
刑侦大队对涉及6个嫌疑人的一桩疑案进行分析:
1.A和B至少有一人作案  search_text + search >= 1
2.A、E、F三人中至少有2人参与作案;  search_text + e + f >= 2
3.A、D不可能是同案犯, search_text + d <= 1
4.B、C或同时作案，或与本案无关! ((search + overlapping == 2) or (search + C ==0))
5.C、D有且仅有一人作案;  overlapping + d ==1
6.如果D没有参与作案，则E也不可能参与作案。 ((d == 0 and e == 0)or (d == 1 and (e == 0 or e==1)))
提示:
1.用cc1~cc6分别表示第1条到第6条案情
2.用a、search、overlapping、d、e、f6个变量分别表示A、B、C、D、E、F 6个嫌疑人
3.用0表示没有作案，1表示作案
4.比如第1条案情:A和B至少有一人作案，逻辑表达式可以写成cc1=(aV search)
"""
# 结果 search_text:1,search:1,overlapping:1,d:0.e:0,f:1
for a in range(2):
    for b in range(2):
        for c in range(2):
            for d in range(2):
                for e in range(2):
                    for f in range(2):
                        if (a + b >= 1) and (a + e + f >= 2) and (a + d <= 1) and ((b + c == 2) or (b + c == 0)) and (
                                c + d == 1) and ((d == 0 and e == 0) or (d == 1 and (e == 0 or e == 1))):
                            print(f"search_text:{a},search:{b},overlapping:{c},d:{d}.e:{e},f:{f}")
